Specimens: "most of" generic NPs in a contextually flexible type theory

Overview This paper proposes to compute the meanings associated to sentences with generic NPs corresponding to the most of generalized quantifier. We call these generics specimens and they resemble stereotypes or prototypes in lexical semantics. The meanings are viewed as logical formulae that can be thereafter interpreted in your favorite models. We rather depart from the dominant Fregean single untyped universe and go for type theory with hints from Hilbert ε calculus [8, 3] and from medieval philosophy see e.g. [6]. Our type theoretic analysis bears some resemblance with on going work in lexical semantics. [2, 4] Our model also applies to classical examples involving a class (or a generic element of this class) which is provided by the context. An outcome of this study is that, in the minimalism-contextualism debate, see e.g. [5], if one adopts a type theoretical view, terms encode the purely semantic meaning component while their typing is pragmatically determined.